2

The laws of programming unify process calculi

Year:
2014
Language:
english
File:
PDF, 266 KB
english, 2014
3

Reasoning about multiple related abstractions with MultiStar

Year:
2010
Language:
english
File:
PDF, 454 KB
english, 2010
6

Freefinement

Year:
2012
Language:
english
File:
PDF, 487 KB
english, 2012